# name: positive_ordered[] ...;
# key: pordered
# group: Types
# --
positive_ordered[${1:dim}] ${2:variable}${3:[${4:dims}]};
$0